321. Planar graphs: theory and algorithms
المؤلف: Nishizeki, T. )Takao(
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Graph theory,، Algorithms
رده :
QA
166
.
N57
1988
322. Polytopes:
المؤلف: edited by T. Bisztriczky, P. McMullen, R. Schneider, A. Ivić Weiss.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Polytopes -- Congresses.,Polytopes.
رده :
QA691
.
E358
1994
323. Probabilistic Methods for Algorithmic Discrete Mathematics
المؤلف: edited by Michel Habib, Colin McDiarmid, Jorge Ramirez-Alfonsin, Bruce Reed.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra-- Data processing.,Combinatorics.,Computer science.,Distribution (Probability theory).,Mathematics.
324. Proceedings of the Third International Scientific Conference "Intelligent Information Technologies for Industry" (IITI'18) :
المؤلف: edited by Ajith Abraham, Sergey Kovalev, Valery Tarassov, Vaclav Snasel, Andrey Sukhanov.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence-- Industrial applications, Congresses.,Artificial intelligence.,Engineering.,Industrial engineering.
رده :
TS176
.
I582
2018
325. Proceedings of the first International Symposium on Impact and Friction of Solids, Structures and Intelligent Machines :
المؤلف: editor, Ardéshir Guran.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Panagiotopoulos, P. D.,1950-,Panagiotopoulos, P. D.,1950-,Friction, Congresses.,Impact, Congresses.,Friction.,Impact.,SCIENCE-- Nanoscience.
رده :
TA354
.
I565
1998eb
326. Proceedings of the 2nd International Conference on Data Engineering and Communication Technology :
المؤلف: Anand J. Kulkarni, Suresh Chandra Satapathy, Tai Kang, Ali Husseinzadeh Kashan, editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer networks, Congresses.,Information technology, Congresses.,Artificial Intelligence (incl. Robotics).,Communications Engineering, Networks.,Computational Intelligence.,Systems and Data Security.,Artificial intelligence.,Communications engineering / telecommunications.,Computer networks.,Computer security.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Information technology.
رده :
T58
.
5
327. Quantum Walks and Search Algorithm
المؤلف: / by Renato Portugal
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Physics,Information theory,Quantum theory,Electronic books
رده :
E-BOOK
328. Query Language Extensions for Advanced Analytics on Big Data and their Efficient Implementation
المؤلف: GU, JIAQI
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
329. Ramsey theory :
المؤلف: Xiaodong Xu, Meilian Liang, Haipeng Luo.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Combinatorial analysis.,Graph theory.,Ramsey theory.,Combinatorial analysis.,Graph theory.,MATHEMATICS-- General.,Ramsey theory.
رده :
QA166
.
X865
2018
330. Rational Drug Design
المؤلف: edited by Donald G. Truhlar, W. Jeffrey Howe, Anthony J. Hopfinger, Jeff Blaney, Richard A. Dammkoehler.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Mathematics.,Numerical analysis.
331. Reasoning with probabilistic and deterministic graphical models :
المؤلف: Rina Dechter.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algorithms.,Bayesian statistical decision theory.,Graphical modeling (Statistics),Machine learning.,Reasoning.,Algorithms.,Bayesian statistical decision theory.,COMPUTERS-- General.,Graphical modeling (Statistics),Machine learning.,Reasoning.
رده :
QA279
.
5
.
D43
2019
332. Recent Advances in Reliability Theory
المؤلف: edited by N. Limnios, M. Nikulin.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Engineering.,Statistics.,System safety.
333. Relations and Graphs :
المؤلف: by Gunther Schmidt, Thomas Ströhlein.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
9
.
M35
B948
1993
334. Research in computational topology /
المؤلف: Erin Wolf Chambers, Brittany Terese Fasy, Lori Ziegelmeier editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algorithms.,Computational complexity.,Geometry-- Data processing-- Research.,Topology-- Data processing-- Research.,Algorithms.,Computational complexity.,MATHEMATICS-- Topology.
رده :
QA611
335. Rewriting techniques and applications :
المؤلف: N. Dershowitz, ed.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer algorithms-- Congresses.,Computer programming-- Congresses.,Rewriting systems (Computer science)-- Congresses.
رده :
QA267
.
I555
1989
336. Robotics :
المؤلف: Bruno Siciliano [and others].
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Manipulators (Mechanism),Robots-- Control systems.,Robots-- Motion.,Ingénierie.,Manipulators (Mechanism),Manipulators (Mechanism),Robots-- Control systems.,Robots-- Control systems.,Robots-- Motion.,Robots-- Motion.
رده :
TJ211
.
35
.
S43
2009eb
337. Robotics, Vision and Control :
المؤلف: by Peter Corke.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Automatic control.,Automation.,Cognitive psychology.,Engineering.,Image processing.,Robotics.,Artificial intelligence.,Automatic control.,Automation.,Cognitive psychology.,Engineering.,Image processing.,Robotics.
رده :
T59
.
5
338. Robotics, vision and control :
المؤلف: Peter Corke.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: MATLAB.,MATLAB.,Computer vision.,Robots-- Control systems.,Computer vision.,Robots-- Control systems.
رده :
TJ211
.
35
.
C67
2017eb
339. Robotics, vision and control :
المؤلف: Peter Corke.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: MATLAB.,Robots-- Sistemes de control.,Visió per ordinador.
340. STACS 92 :
المؤلف: A[lain] Finkel, M[atthias] Jantzen (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: računalništvo -- paralelni algoritmi -- logika -- sementika -- računalniška geometrija -- jeziki -- strukturna kompleksnost -- komunikacije -- distribuirani sistemi -- kompleksnost -- kriptografija -- algoritmi -- VLSI -- sistemi.
